package TP1.TDA;

public interface PilaTDA {
	
	void inicializar(); // PC: -

	boolean vacia(); // PC: Pila inicializada

	void apilar(int x); // PC: Pila inicializada

	void desapilar(); // PC: Pila no vacia

	int tope(); // PC: Pila no vacia
}
